Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Searching
My bookmarks
0
formal category theory (keyword)
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
Add criteria
Advanced search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publications
..
year
year of publication
Loading..
author
Loading..
TalTech department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
2
Look more..
(1/215)
Export
export all inquiry results
(2)
Save TXT fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
1
journal article EST
/
journal article ENG
Adjoint functor theorems for lax-idempotent pseudomonads
Arkor, Nathanael
;
Di Liberti, Ivan
;
Loregian, Fosco
Theory and Applications of Categories
2024
/
p. 667-685
http://www.tac.mta.ca/tac/volumes/41/20/41-20.pdf
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
2
journal article EST
/
journal article ENG
The formal theory of relative monads
Arkor, Nathanael
;
McDermott, Dylan
Journal of pure and applied algebra
2024
/
art. 107676, 107 p. : ill
https://doi.org/10.1016/j.jpaa.2024.107676
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Number of records 2, displaying
1 - 2
keyword
215
1.
formal category theory
2.
category theory
3.
enriched category theory
4.
formal language theory
5.
aspect category
6.
assessment category
7.
bimonoidal category
8.
closed category
9.
cocomplete category
10.
cyclic category
11.
double category
12.
duplicial category
13.
free monoidal category
14.
Locally graded category
15.
monoidal category
16.
omega-category
17.
orbit category
18.
skew-monoidal category
19.
slice 2-category
20.
slice category
21.
symmetric monoidal category
22.
triangulated category
23.
2-category
24.
Automata, Formal Verification
25.
Formal
26.
formal and combined safety elements
27.
formal and informal
28.
formal concept analysis
29.
formal education
30.
formal ferification
31.
formal languages
32.
formal logic
33.
formal methods
34.
formal PMS
35.
formal rationality
36.
formal reasoning
37.
formal revolution
38.
formal semantics
39.
formal specification
40.
formal verification
41.
mandatory formal concepts
42.
non-formal education
43.
rigorous formal diagrammatic system
44.
top-K formal concepts
45.
a coherent theory of proofs
46.
activity theory
47.
adaptive structuration theory (AST)
48.
algebraic number theory
49.
algebraic theory
50.
algorithm design and theory
51.
beam theory
52.
behavioral reasoning theory
53.
bicategory theory
54.
Biot theory
55.
Bond theory
56.
Boolean Algebra Meets Graph-Theory
57.
catastrophe theory
58.
chaos theory
59.
coding theory
60.
cognitive theory
61.
commitment theory
62.
communication channels (information theory)
63.
Complex systems theory
64.
complexity leadership theory
65.
complexity theory
66.
computation theory
67.
computer softwaregraph theory
68.
conservation of resources theory
69.
Consumer Culture Theory
70.
control and systems theory
71.
control theory
72.
Cooper-Helmstetter cell cycle theory
73.
cosmology theory
74.
cosmology: theory
75.
critical theory of technology
76.
cultural theory of international relations
77.
dark matter theory
78.
decision theory
79.
Dempster-Shafer theory
80.
Demster-Shafer Theory
81.
density functional theory
82.
density functional theory (DFT)
83.
dependent type theory
84.
design theory
85.
Dezert–Smarandache theory
86.
development theory
87.
Digital Government Theory: Development and Application
88.
dispersive theory
89.
domain theory
90.
ecological systems theory
91.
economic theory
92.
end of theory
93.
energetic impact theory
94.
engaged theory
95.
Euler Bernoulli beams theory
96.
evolutionary theory of policy capacity
97.
Flow theory
98.
fully nonlinear potential theory
99.
game theory
100.
general systems theory
101.
general theory of information transfer
102.
general vibration theory
103.
graph theory
104.
gravitational waves / theory
105.
grounded theory
106.
group theory
107.
group threat theory
108.
higher-order beam theory
109.
History and Theory
110.
homotopy theory
111.
homotopy type theory
112.
housemoney effect prospect theory
113.
iceberg theory of culture
114.
image theory
115.
information theory
116.
innovation theory
117.
institutional theory
118.
intellectual capital theory
119.
interdependence theory
120.
inverse problem theory/applications
121.
inverse problems theory/applications
122.
job search theory
123.
language theory
124.
Lawvere theory
125.
layer-wise displacement theory
126.
linear systems theory
127.
macro-foundational theory
128.
maritime investment theory
129.
mechanism design theory
130.
meso-foundational theory
131.
micro-foundational theory
132.
middle-range theory
133.
mindlin plate theory
134.
modern portfolio theory
135.
network theory
136.
nonlinear shallow water theory
137.
nonlinear shallow-water theory
138.
nonlinear strip theory
139.
nonlinear theory
140.
normal torsion theory
141.
number theory
142.
organismic integration theory
143.
organization theory
144.
organizational theory
145.
peer‐to‐peer theory
146.
perceived customer value theory
147.
phase field theory
148.
picture theory
149.
protection motivation theory
150.
proto-theory of design
151.
public administration theory
152.
punctuated equilibrium theory
153.
rational choice theory
154.
real options theory
155.
realization theory
156.
reduction theory
157.
refined zigzag theory
158.
regulatory focus theory
159.
sampling theory
160.
scapegoat theory
161.
search and matching theory
162.
self-determination theory
163.
self-determination theory of work motivation
164.
set theory
165.
shallow water theory
166.
shallow‐water theory
167.
sign theory
168.
signalling theory
169.
social exchange theory
170.
social identity theory
171.
social practice theory
172.
social presence theory
173.
social representation theory
174.
social system theory
175.
social systems theory
176.
sociological curriculum theory
177.
S-O-R theory
178.
speech-act theory
179.
stakeholder theory
180.
Stakeholder-oriented decision theory
181.
State Theory
182.
stimulus-organism-response theory
183.
stochastic learning theory
184.
strategic narrative theory
185.
strategic narrative theory
186.
Straussian theory model
187.
structuration theory
188.
Sustainable Business Models Interdependence Theory’s Principle Of Interaction
189.
switching theory
190.
synchronous reference frame theory
191.
system theory
192.
systems theory
193.
the RAT theory
194.
theory
195.
theory and practice of meta-modelling with application in healthcare
196.
theory building
197.
theory of accounting
198.
Theory of computation
199.
Theory Of Constraints (TOC)
200.
theory of economic development
201.
theory of inventive problem solving (TRIZ)
202.
theory of natural disaster
203.
Theory of paradox
204.
theory of planned behavior
205.
theory of planned behaviour
206.
theory of signs
207.
theory of value
208.
theory selection
209.
ticked cubical type theory
210.
time-dependent density functional theory (TD-DFT)
211.
type theory
212.
unified theory of acceptance and use of technology
213.
value theory
214.
virtual disc theory
215.
2D+T theory
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TalTech department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TalTech department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT