categories - Category Theory list
 help / color / mirror / Atom feed
CFP: International Workshop on Text Analytics and Retrieval (TexAR-2018) @ WI 2018
 2018-06-28 16:11 UTC 

[DEADLINE EXTENSION] Workshop on Compositional Approaches in Physics, NLP, and Social Sciences
 2018-06-28 15:44 UTC 

CSL 2018 - Call for Participation
 2018-06-27 12:16 UTC 

CT2018 - programme now available
 2018-06-26 14:58 UTC 

FLoC 2018 - Last Joint Call for Workshop Participation
 2018-06-22  9:25 UTC 

5MoF 2018 (January/February)
 2018-06-22  2:37 UTC 

Open Positions in Tokyo: Formal Methods, Learning and Cyber-Physical Systems
 2018-06-20 12:46 UTC 

Open Positions in Tokyo: Formal Methods, Learning and Cyber-Physical Systems
 2018-06-20 12:46 UTC 

Announcement about Rudolf Fritsch
 2018-06-20 12:27 UTC 

change of base and co/limit preservation
 2018-06-17  4:31 UTC 

Point-free affine real line?
 2018-06-11 19:01 UTC  (3+ messages)

CYBER PHYSICAL PRODUCTION SYSTEMS: THEORY AND PRACTICES (CPPS-2018)
 2018-06-11  9:56 UTC 

Homotopy of singular simplicial set
 2018-06-10  3:14 UTC 

how should I implement production of Category ?
 2018-06-07 11:04 UTC 

Point-free affine real line?
 2018-06-05 10:55 UTC  (6+ messages)

Mathematically Structured Functional Programming 2018: Call for Participation
 2018-06-04 13:14 UTC 

** Call for participation ** HOR 18 - 9th Workshop on Higher Order Rewriting, Oxford, 7 July, 2018
 2018-06-04  0:21 UTC 

Vera Trnkova
 2018-06-03 21:33 UTC 

Point-free affine real line?
 2018-06-01  1:45 UTC 

Vera Trnkova
 2018-05-31  8:42 UTC 

YaMCATS 15 University of Leicester 11 June 2018
 2018-05-29 15:52 UTC 

20 years of deep inference, call for participation
 2018-05-29 10:21 UTC 

CGASA dedicates a volume to Prof Gratzer
 2018-05-28  8:21 UTC 

YaMCATS 15 University of Leicester 18 June 2018
 2018-05-26 22:05 UTC 

copowers/weighted colimits in (V-Cat)-Cat
 2018-05-18  7:56 UTC 

postdoc at Macquarie
 2018-05-16  8:01 UTC 

"Toposes in Como" - second announcement
 2018-05-15 21:48 UTC 

CT 2018 - deadlines
 2018-05-15 16:27 UTC 

QPL 2018 call for participation - registration deadline
 2018-05-13  3:01 UTC 

计算鸡在 [ALGTOP-L] International Workshop on Algebraic Topology, June 6-9, 2018
 2018-05-10 11:37 UTC 

Workshop on Accessible categories and their connections
 2018-05-10  5:50 UTC 

CFP: Workshop on Compositional Approaches in Physics, NLP, and Social Sciences
 2018-05-08  9:48 UTC 

Announcing Compositionality
 2018-05-06 13:58 UTC 

ICTCS 2018 @ Urbino - second call for papers
 2018-05-05 15:19 UTC  (2+ messages)
` ICTCS 2018 @ Urbino - last "

ICTAC 2018 final call for papers
 2018-04-30  1:57 UTC 

Categories used to describe molecules
 2018-04-29 14:57 UTC  (3+ messages)

FMCS 2018 Second Announcement
 2018-04-25 12:28 UTC 

V. Voevodsky's Univalence Axiom and isomorphic equivalence classes
 2018-04-24 17:14 UTC 

QPL 2018 and MFPS 2018 accommodations - book today!
 2018-04-23 19:47 UTC 

Midwest HoTT Seminar, May 26-27, 2018, University of Western Ontario
 2018-04-22 13:58 UTC 

Applied Category Theory at NIST
 2018-04-20 15:47 UTC 

HOR 18: ** deadline extension to 22 April ** call for submissions
 2018-04-16 15:01 UTC 

iFM 2018 Call For Papers
 2018-04-16  9:07 UTC 

DCM'18: Deadline extension (22 April) - EPTCS proceedings after the workshop
 2018-04-16  0:20 UTC 

Note on The 60th birthday of toposes, April 21
 2018-04-14 12:01 UTC 

*** Second Announcement *** CatAlg - 4th Workshop in Categorical Algebra
 2018-04-11 15:00 UTC 

FLoC 2018 - Last Joint Call for Workshop Papers
 2018-04-11  6:08 UTC 

Small error in the address of a Cahiers site
 2018-04-09 15:24 UTC 

iFM 2081 Call For Papers
 2018-04-09 10:26 UTC  (2+ messages)
  ` [] ICADIWT 2018

Volume LIX-2 of the "Cahiers"
 2018-04-08 13:32 UTC 

DCM'18: Deadline extension (15 April)
 2018-04-08 12:05 UTC 

FLoC 2018 Volunteer Programme Announcement
 2018-04-07 21:28 UTC 

QPL 2018 call for participation
 2018-04-05 14:02 UTC 

"Higher Structures in M-Theory"
 2018-04-04 16:40 UTC 

MFPS 2018 abstracts/papers
 2018-04-02 20:22 UTC 

MFPS 2018 abstracts/papers
 2018-04-02 20:22 UTC 

First Announcement "Utrecht Topology Feest 2018" August 27-31
 2018-03-30 17:56 UTC 

Workshop on Algebra, Logic and Topology
 2018-03-28 14:22 UTC 

DCM'18 Final Call-for-papers (deadline 8 April 2018)
 2018-03-26 14:24 UTC 

QPL submission deadline approaching
 2018-03-25 13:35 UTC 

MFPS 2018 final call for papers
 2018-03-23 12:03 UTC 

MFPS 2018 final call for papers
 2018-03-23 12:03 UTC 

10 Y ZX blast!
 2018-03-23 11:40 UTC 

PhD studentship on Automated Black-box Verification of Networking Systems at University College London
 2018-03-22  8:57 UTC 

Ackermann Award 2018
 2018-03-21 17:29 UTC 

cocategory object in Bicat
 2018-03-21  6:59 UTC 

YaMCATS 14 University of Sheffield 21 March 2018
 2018-03-17 10:07 UTC 

FoPPS Logic and Learning School (Oxford, July 1-6)
 2018-03-17  0:01 UTC 

Domains XIII Call for Papers
 2018-03-13 23:19 UTC 

CT 2018: reminder
 2018-03-13 11:19 UTC 

A book
 2018-03-10 16:19 UTC 

Retracts of contractible simplicial sets
 2018-03-10  1:28 UTC 

[isabelle] New AFP entry: Monoidal Categories
 2018-03-09 12:37 UTC 

OctoberFest 2018
 2018-03-08 22:43 UTC 

Logic Col­lo­quium 2018 (LC18): 2nd call for contributions
 2018-03-07  7:13 UTC 

PSSL 103: final announcement
 2018-03-05 13:38 UTC 

Summer School in Algebra and Topology
 2018-03-02 19:32 UTC 

PhD-positions in mathematics at Stockholm University
 2018-03-02 17:14 UTC 

Mathematically Structured Functional Programming 2018: Call for Papers
 2018-03-02 12:35 UTC 

A short question about the set-based definition of categories
 2018-03-01 14:07 UTC  (3+ messages)

Conference: Topology in Australia and South Korea, March 15 registration deadline
 2018-03-01  8:58 UTC 

DCM'18 Third Call for Papers
 2018-02-27 19:21 UTC 

ICTCS 2018 @ Urbino - call for papers
 2018-02-27 18:41 UTC 

Equivalence of categories
 2018-02-26 12:47 UTC 

suggestions for the 2020 MSC classifications
 2018-02-26  1:25 UTC  (3+ messages)

Equivalence of categories
 2018-02-25 18:59 UTC 

Archive missing?
 2018-02-25  1:08 UTC 

Archive missing?
 2018-02-24 19:57 UTC  (2+ messages)

Announcement of publication
 2018-02-23 21:57 UTC 

TAC welcomes new editors / thanks retiring editors
 2018-02-22 13:29 UTC 

"Toposes in Como" - first announcement
 2018-02-21 14:16 UTC 

iFM 2018 Call for Papers
 2018-02-20 20:57 UTC 

Logic for Children (workshop) - updates and resources
 2018-02-17 23:18 UTC 

CMCS 2018: Call for Short Contributions
 2018-02-17 13:05 UTC 

FLoC 2018 - Joint Call for Workshop Papers
 2018-02-16 16:31 UTC 

MacGillavry Fellowship
 2018-02-16 16:07 UTC 

Fwd: JOB: Associate Professor in Computer Science - Oxford University - with tutorial fellowship at Keble College
 2018-02-16 11:36 UTC 

Chocolate Medal - partial draft translation of SGA4
 2018-02-15 13:04 UTC 

Topos theory for spaces of connected components
 2018-02-14 19:06 UTC  (12+ messages)
      ` Reflection to 0-dimensional locales

A la recherche de N
 2018-02-13 13:23 UTC 

Internal diagrams
 2018-02-13 11:15 UTC 

University of Edinburgh Chancellor's Fellowships
 2018-02-13 10:29 UTC 

"Derived and Higher Structures in Geometry and Physics" at Fields Institute
 2018-02-12 15:41 UTC 

Internal diagrams
 2018-02-11 14:08 UTC 

Topos theory for spaces of connected components
 2018-02-08  0:34 UTC 

Homotopy Type Theory Electronic Seminar Talks
 2018-02-07 14:33 UTC 

Martin Hofmann found dead on Japanese mountain
 2018-02-07  0:45 UTC  (2+ messages)

Topos theory for spaces of connected components
 2018-02-06 12:37 UTC  (3+ messages)

Topos theory for spaces of connected components
 2018-02-05 18:07 UTC 

Call for papers: QPL 2018
 2018-02-03 13:58 UTC 

PSSL 103: second announcement
 2018-01-30 19:46 UTC 

CT2018 - Second announcement
 2018-01-30 15:12 UTC 

computer science positions Utrecht
 2018-01-29 14:43 UTC 

FORMATS 2018 **First Call for Papers**
 2018-01-29 13:42 UTC 

New paper: Formulating categorical concepts with classes
 2018-01-26 15:04 UTC 

Postdoctoral Fellow in Mathematical Logic, Stockholm University
 2018-01-25 19:49 UTC 

CATALG2018 - First Announcement
 2018-01-25 14:30 UTC 

Conference: Topology in Australia and South Korea, Feb 10 deadline for contributed talks
 2018-01-25  5:50 UTC 

MFPS 2018 first call for papers
 2018-01-24  7:30 UTC 

FreeTikZ
 2018-01-24  1:55 UTC 

CVQT 2018: Financial support available, call for participation
 2018-01-23 13:35 UTC 

CVQT 2018: Financial support available, call for participation
 2018-01-22 22:42 UTC 

Names for these (di)natural transformations?
 2018-01-22  2:27 UTC 

Products of epimorphisms
 2018-01-20 13:49 UTC  (3+ messages)

The 2018 Alonzo Church Award: Call for Nominations
 2018-01-20 11:48 UTC 

does countable choice survive booleanization?
 2018-01-19 14:36 UTC  (2+ messages)

Functor fibrations and Cartesian closure of general presheaves
 2018-01-19  0:30 UTC  (2+ messages)

Real sets
 2018-01-17  1:16 UTC  (2+ messages)

FMCS 2018 First Announcement
 2018-01-15 19:57 UTC 

New open source issue LIX-1 of the "Cahiers"
 2018-01-14 15:52 UTC 

Special Issue of Tbilisi Mathematical Journal in honor of Peter Freyd and Bill Lawvere
 2018-01-12 20:45 UTC 

fully funded graduate positions in Math at UWO
 2018-01-10  1:48 UTC 

fully funded graduate positions in Math at UWO
 2018-01-10  1:48 UTC 

new publication "Modelling and Computing Homotopy Types: I"
 2018-01-09 19:12 UTC 

DCM'18 Second Call for Papers
 2018-01-08 13:37 UTC 

FSCD 2018 Final Call for Papers (deadline for abstracts: January 15)
 2018-01-08 13:17 UTC 

FLoC 2018 - Final Joint Call for Papers
 2018-01-05 16:31 UTC 

V-included categories
 2018-01-04 23:28 UTC  (11+ messages)

[TYPES/announce] Tenure-Track Research and Teaching Positions at University of British Columbia, Vancouver, Canada
 2018-01-01 18:11 UTC  (2+ messages)

TAC, ACS, JHRS
 2018-01-01 14:18 UTC 

Book on toposes
 2017-12-24 12:22 UTC 

PSSL103 in Brno --- April 7-8 2018
 2017-12-21 16:45 UTC 

CMCS 2018: Final Call for Papers
 2017-12-21  1:48 UTC 

SDT
 2017-12-18 16:02 UTC 

How analogous are categorial and material set theories?
 2017-12-12 12:08 UTC  (9+ messages)
  ` Is Category Theory a Theory?

Medal for Richard Garner
 2017-12-12  1:13 UTC 

iFM 2018 Call For Paper
 2017-12-11 11:41 UTC 

position
 2017-12-10 13:26 UTC 

CSL 2018 — First Call for Papers
 2017-12-10 11:04 UTC 

page:  |  | latest

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).